Axiomatic Digital Topology

The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms is that the neighborhood relation is antisymmetric and transitive. Therefore any connected and non-trivial LF space is isomorphic to an abstract cell complex. The paper demonstrates that in an n-dimensional digital space only those of the (a, b)-adjacencies commonly used in computer imagery have analogs among the LF spaces, in which a and b are different and one of the adjacencies is the "maximal" one, corresponding to 3n\"i1 neighbors. Even these (a, b)-adjacencies have important limitations and drawbacks. The most important one is that they are applicable only to binary images. The way of easily using LF spaces in computer imagery on standard orthogonal grids containing only pixels or voxels and no cells of lower dimensions is suggested

Towards digital cohomology

We propose a method for computing the Z 2–cohomology ring of a simplicial complex uniquely associated with a three–dimensional digital binary–valued picture I. Binary digital pictures are represented on the standard grid Z 3, in which all grid points have integer coordinates. Considering a particular 14–neighbourhood system on this grid, we construct a unique simplicial complex K(I) topologically representing (up to isomorphisms of pictures) the picture I. We then compute the cohomology ring on I via the simplicial complex K(I). The usefulness of a simplicial description of the digital Z 2–cohomology ring of binary digital pictures is tested by means of a small program visualizing the different steps of our method. Some examples concerning topological thinning, the visualization of representative generators of cohomology classes and the computation of the cup product on the cohomology of simple 3D digital pictures are showed

Reusing integer homology information of binary digital images

In this paper, algorithms for computing integer (co)homology of a simplicial complex of any dimension are designed, extending the work done in [1,2,3]. For doing this, the homology of the object is encoded in an algebraic-topological format (that we call AM-model). Moreover, in the case of 3D binary digital images, having as input AM-models for the images I and J, we design fast algorithms for computing the integer homology of I ∪J, I ∩J and I ∖J

Digital Topology Java Applet

We present here a java applet, accessible through the World Wide Web, which allows to apply to a binary digital image a series of topological algorithms for image processing

Digitally Continuous Multivalued Functions, Morphological Operations and Thinning Algorithms

In a recent paper (Escribano et al. in Discrete Geometry for Computer Imagery 2008. Lecture Notes in Computer Science, vol. 4992, pp. 81–92, 2008) we have introduced a notion of continuity in digital spaces which extends the usual notion of digital continuity. Our approach, which uses multivalued functions, provides a better framework to define topological notions, like retractions, in a far more realistic way than by using just single-valued digitally continuous functions. In this work we develop properties of this family of continuous functions, now concentrating on morphological operations and thinning algorithms. We show that our notion of continuity provides a suitable framework for the basic operations in mathematical morphology: erosion, dilation, closing, and opening. On the other hand, concerning thinning algorithms, we give conditions under which the existence of a retraction F:X⟶X∖D guarantees that D is deletable. The converse is not true, in general, although it is in certain particular important cases which are at the basis of many thinning algorithms

Sufficient conditions for topological invariance of 2D images under rigid transformations

International audienceIn ℝ^2, rigid transformations are topology-preserving operations. However, this property is generally no longer true when considering digital images instead of continuous ones, due to digitization effects. In this article, we investigate this issue by studying discrete rigid transformations (DRTs) on ℤ^2. More precisely, we define conditions under which digital images preserve their topological properties under any arbitrary DRTs. Based on the recently introduced notion of DRT graph and the classical notion of simple point, we first identify a family of local patterns that authorize topological invariance under DRTs. These patterns are then involved in a local analysis process that guarantees topological invariance of whole digital images in linear time

Algebraic topological analysis of time-sequence of digital images

This paper introduces an algebraic framework for a topological analysis of time-varying 2D digital binary–valued images, each of them defined as 2D arrays of pixels. Our answer is based on an algebraic-topological coding, called AT–model, for a nD (n=2,3) digital binary-valued image I consisting simply in taking I together with an algebraic object depending on it. Considering AT–models for all the 2D digital images in a time sequence, it is possible to get an AT–model for the 3D digital image consisting in concatenating the successive 2D digital images in the sequence. If the frames are represented in a quadtree format, a similar positive result can be derived

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters